David Carnegie - PDFSEARCH.IO - Document Search Engine

David Carnegie
Results: 214

#	Item
101	Typed Memory Management in a Calculus of Capabilities∗ Karl Crary Carnegie Mellon University David Walker Cornell University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:21 Region-based memory management Pointer Entailment Logic Deduction Symbol
102	Privtrans: Automatically Partitioning Programs for Privilege Separation David Brumley and Dawn Song Carnegie Mellon University {david.brumley,dawn.song}@cs.cmu.edu ∗ Abstract Privilege separation partitions a single pr Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Privilege separation Ring Privilege System call Interrupt flag Monitor Operating system Variable Computer architecture Computing Software engineering
103	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Computing Programming language theory Decompiler Type system Type inference Subtype polymorphism MOV Pointer Assembly language Software engineering Type theory Data types
104	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: security.ece.cmu.edu Language: English - Date: 2011-05-02 14:34:52 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics
105	Tesseract: A 4D Network Control Plane Hong Yan† , David A. Maltz‡ , T. S. Eugene Ng§ , Hemant Gogineni† , Hui Zhang† , Zheng Cai§ † Carnegie Mellon University ‡ Microsoft Research § Rice University Abstrac Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-04-08 21:08:17 Routing Network switch Forwarding plane Open Shortest Path First Forwarding information base Link-state routing protocol Cisco IOS Automatically switched optical network IEEE 802.1aq Network architecture Internet Computing
106	Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-03-17 11:29:44 Software testing Automated theorem proving Concolic testing Software metrics KeY Symbolic execution Code coverage Control flow graph Algorithm Software Computing Formal methods
107	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: www.isoc.org Language: English - Date: 2011-05-09 09:06:43 Computing Programming language theory Decompiler Type system Type inference Pointer Subtype polymorphism Assembly language MOV Software engineering Type theory Data types
108	All You Ever Wanted to Know About Dynamic Taint Analysis & Forward Symbolic Execution (but might have been afraid to ask) (Yes, we were trying to overflow the title length field Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2010-08-16 00:26:51 Symbolic execution David Brumley Higher education Academia Computer programming Taint checking Carnegie Mellon University
109	Thanassis Avgerinos Carnegie Mellon University Department of Electrical and Computer Engineering 5000 Forbes Avenue, Pittsburgh, Pennsylvania, USA Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-12-07 23:17:31 Virgil D. Gligor Computer programming Actor model USENIX National Technical University of Athens Erlang Computing System software David Brumley
110	Typed Memory Management in a Calculus of Capabilities∗ David Walker Cornell University Karl Crary Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2000-03-08 17:36:45 Computer programming Type theory Data types Region-based memory management Constructor Calculus Lambda calculus Type system Monad Computing Software engineering Memory management

UPDATE